(= 45 (ix (iota 100) 45))

